closed inequality

闭型不等式